籌款 9月15日 2024 – 10月1日 2024 關於籌款
4
Hardver- és szoftverrendszerek verifikációja

Hardver- és szoftverrendszerek verifikációja

Ésik Zoltán, Gombás Éva, Németh L. Zoltán
年:
2011
語言:
hungarian
文件:
PDF, 2.76 MB
0 / 0
hungarian, 2011
7
Modern Automata Theory

Modern Automata Theory

Zoltán Ésik, Werner Kuich
語言:
english
文件:
PDF, 1.11 MB
0 / 0
english
9
A számítástudomány alapjai : egyetemi tananyag

A számítástudomány alapjai : egyetemi tananyag

Ésik Zoltán
年:
2011
語言:
hungarian
文件:
PDF, 787 KB
0 / 0
hungarian, 2011
10
Automaták és formális nyelvek példatár : egyetemi tananyag

Automaták és formális nyelvek példatár : egyetemi tananyag

Ésik Zoltán, Gombás Éva, Iván Szabolcs
年:
2011
語言:
hungarian
文件:
PDF, 2.02 MB
0 / 0
hungarian, 2011
15
Iteration Theories: The Equational Logic of Iterative Processes

Iteration Theories: The Equational Logic of Iterative Processes

Stephen L. Bloom, Zoltán Ésik
年:
1993
語言:
english
文件:
PDF, 43.04 MB
0 / 0
english, 1993
16
Recent Advances in Formal Languages and Applications

Recent Advances in Formal Languages and Applications

Zoltán Ésik, Carlos Martin-Vide, Victor Mitrana
年:
2006
語言:
english
文件:
PDF, 8.96 MB
0 / 0
english, 2006